已知“如果甲值班，那么乙或丙也值班”为真，则下列必然为真的是（）

• A、只有甲值班,乙或丙才值班
• B、如果乙和丙值班，那么甲也值班
• C、如果甲不值班，那么乙和丙也不值班
• D、如果乙和丙不值班，那么甲也不值班
• E、只有乙或丙值班,甲才值班

“我们这本书可能不会滞销”这一判断是（）

• A、单称否定判断
• B、全称否定判断
• C、或然否定模态判断
• D、必然否定模态判断

SAP换质后可以推出（）。